NeedhamSchroed 相关硕士博士期刊学术论文

NeedhamSchroed相关论文

采用BAN逻辑对著名的Needham-Schroeder(NS)协议建立理想化协议模型,利用协议的初始假设和BAN逻辑的公设分析NS协议的安全性.分析......

期刊